Logic error - PDFSEARCH.IO - Document Search Engine

Logic error
Results: 79

#	Item
11	Compressive sensing using locality-preserving matrices Elyot Grant∗ Piotr Indyk∗ December 4, 2012 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-10 19:22:49 Error detection and correction Information retrieval Artificial intelligence Computational complexity theory Universal hashing Lipschitz continuity Hash function Combinatory logic Tabulation hashing Search algorithms Hashing Theoretical computer science
12	Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Control flow Constraint programming Electronic design automation Logic in computer science Satisfiability Modulo Theories LLVM For loop C Static single assignment form Computing Software engineering Computer programming
13	Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing R. Barends,1, ∗ J. Kelly,1, ∗ A. Megrant,1 A. Veitia,2 D. Sank,1 E. Jeffrey,1 T. C. White,1 J. Mutus,1 A. Add to Reading List Source URL: www.ee.ucr.edu Language: English - Date: 2014-03-13 16:50:49 Physics Quantum error correction Qubit Controlled NOT gate Quantum computer Quantum gate Quantum circuit Charge qubit Phase qubit Quantum information science Theoretical computer science Quantum mechanics
14	What Gives? A Hybrid Algorithm for Error Trace Explanation Vijayaraghavan Murali1 , Nishant Sinha2 , Emina Torlak3 , and Satish Chandra4 1 NUS, Singapore Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Video signal Mathematics PP Algorithm Unsatisfiable core Mathematical logic Interpolation Video
15	Error Invariants Evren Ermis1 , Martin Sch¨af2? , and Thomas Wies3 1 2 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-06-06 07:57:01 Matrix theory Trace First-order logic Interpolation Symbol Μ operator Mathematics Logic Linear algebra
16	(L) YesbotL1. “I am the CEO of NACLO Enterprises.” L2. “You” will sometimes cause an error – whenever the CEO is addressing Yesbot, for example – but not when the CEO and Yesbot are both talking to a t Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2013-11-03 01:31:48 Error Causality Science Knowledge Philosophical logic Measurement Indexicality Semantics
17	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-02-11 11:08:53 Turbo code Concatenated error correction code Convolutional code Fading Differential geometry of curves Symbol Entailment Error detection and correction Logic Abstract algebra
18	Automatic Binding-related Error Diagnosis in Logic Programs PaweÃl Pietrzak1 and Manuel V. Hermenegildo1,2 1 School of Computer Science, Technical University of Madrid (UPM) Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-11-07 05:34:04 Logic programming Software engineering Assertion Debugging Abstraction SLD resolution Abstract interpretation Tree Logic in computer science Computer programming Theoretical computer science
19	Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability Yichen Xie and Alex Aiken Stanford University This article presents Saturn, a general framework for building precise and scalable static error Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-21 19:57:13 Formal methods Boolean algebra Symbol Entailment Interpretation Boolean satisfiability problem Logic Theoretical computer science Model theory
20	Automated Error Diagnosis Using Abductive Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-25 02:32:25 Formal languages Model theory Entailment Static single assignment form Witness Function Modal logic Interpretation Symbol Logic Philosophical logic Mathematical logic

UPDATE